Nuprl Definition : es-interface-right
11,40
postcript
pdf
es-interface-right(
X
) ==
x
.invert-union(
x
) o
X
latex
Definitions
f
o
g
,
x
.
A
(
x
)
,
invert-union(
x
)
FDL editor aliases
es-interface-right
origin
x.invert-union(x) o X x.invert-union(x) o X x.A(x)